تعداد ۲۲ پاسخ غیر تکراری از ۲۲ پاسخ تکراری در مدت زمان ۰,۴۸ ثانیه یافت شد.

1. FM 2015

پدیدآورنده: \ Nikolaj Bjørner , Frank de Boer (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Formal methods (Computer science) -- Congresses.,Software engineering.,روش‌های صوری (کامپیوتر) -- کنگره ها ,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار

رده :

QA

76

.

9

.

F57

2015

E-Book

,

2. FM 2012

پدیدآورنده: Dimitra Giannakopoulou, Dominique Méry (eds.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :

QA76

.

76

.

D47

I593

2012eb

3. Formal Methods for Industrial Critical Systems

پدیدآورنده: \ Manuel Núñez , Matthias Güdemann (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها

رده :

QA

76

.

9

.

F6

2015

E-Book

,

4. Formal methods and software engineering :

پدیدآورنده: Shengchao Qin, Zongyan Qiu (edition)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses

رده :

QA76

.

9

.

F67

I34

2011

5. Formal methods and software engineering

پدیدآورنده: Karin Breitman, Ana Cavalcanti (eds.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :

QA76

.

9

.

F67

I584

2009

6. Formal methods and software engineering :

پدیدآورنده: Jing Sun, Meng Sun (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :

QA76

.

9

.

F67

7. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

پدیدآورنده: / Kung-Kiu Lau, Richard Banach (eds.),Portion of Title:7th International Conference on Formal Engineering Methods.

کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)

موضوع: Formal methods (Computer science)--Congresses,Software engineering--Congresses

رده :

QA76

.

9

.

F67

I57

8. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

پدیدآورنده: Kung-Kiu Lau, Richard Banach )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering

رده :

QA

76

.

L28

Vol

.

3785

9. Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings

پدیدآورنده: Jim Davies, Wolfram Schulte, Mike Barnett )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering

رده :

QA

76

.

L28

Vol

.

3308

10. Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings

پدیدآورنده: Chris George, Huaikou Miao )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering

رده :

QA

76

.

L28

Vol

.

2495

11. Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

پدیدآورنده: Jin Song Dong, Jim Woodcock )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering

رده :

QA

76

.

L28

Vol

.

2885

12. Formal methods for components and objects :

پدیدآورنده: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :

QA76

.

9

.

F67

F53

2012

13. Formal methods for multicore programming

پدیدآورنده: \ Marco Bernardo , Einar Broch Johnsen (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرم‌افزار -- تولید -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها

رده :

QA

76

.

76

.

F6

2015

E-Book

,

14. Formal methods in databases and software engineering :

پدیدآورنده: V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Database management -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.

رده :

QA76

.

9

.

D3

V735

1993

15. Formal techniques for distributed systems :

پدیدآورنده: Holger Giese, Grigore Rosu (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.

16. Integrated formal methods

پدیدآورنده: John Derrick ... [et al.] (eds.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :

QA76

.

9

.

F67

I58

2012eb

17. Languages, Design Methods, and Tools for Electronic System Design

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Software architecture -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها ,معماری نرم‌افزار -- کنگره‌ها

رده :

E-Book

,

18. Languages, Design Methods, and Tools for Electronic System Design

پدیدآورنده: \ Franco Fummi, Robert Wille, Editors

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره‌ها

رده :

E-Book

,

19. Languages, design methods, and tools for electronic system design.

پدیدآورنده: \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها

رده :

QA

76

.

9

.

L325

2016

E-Book

,

20. Software Engineering and Formal Methods

پدیدآورنده: \ [edited by] Carlos Canal, Akram Idani.

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها

رده :

QA

76

.

758

.

S62

2015

E-Book

,

»
2
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است